Integrand size = 13, antiderivative size = 75 \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\frac {x^2}{4}-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erf}\left (\frac {1+2 x}{\sqrt {2}}\right )-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erfi}\left (\frac {1+2 x}{\sqrt {2}}\right )+\frac {1}{8} \sinh \left (\frac {1}{2}+2 x+2 x^2\right ) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 75, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.462, Rules used = {5503, 5491, 5483, 2266, 2235, 2236} \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erf}\left (\frac {2 x+1}{\sqrt {2}}\right )-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erfi}\left (\frac {2 x+1}{\sqrt {2}}\right )+\frac {x^2}{4}+\frac {1}{8} \sinh \left (2 x^2+2 x+\frac {1}{2}\right ) \]
[In]
[Out]
Rule 2235
Rule 2236
Rule 2266
Rule 5483
Rule 5491
Rule 5503
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {x}{2}+\frac {1}{2} x \cosh \left (\frac {1}{2}+2 x+2 x^2\right )\right ) \, dx \\ & = \frac {x^2}{4}+\frac {1}{2} \int x \cosh \left (\frac {1}{2}+2 x+2 x^2\right ) \, dx \\ & = \frac {x^2}{4}+\frac {1}{8} \sinh \left (\frac {1}{2}+2 x+2 x^2\right )-\frac {1}{4} \int \cosh \left (\frac {1}{2}+2 x+2 x^2\right ) \, dx \\ & = \frac {x^2}{4}+\frac {1}{8} \sinh \left (\frac {1}{2}+2 x+2 x^2\right )-\frac {1}{8} \int e^{-\frac {1}{2}-2 x-2 x^2} \, dx-\frac {1}{8} \int e^{\frac {1}{2}+2 x+2 x^2} \, dx \\ & = \frac {x^2}{4}+\frac {1}{8} \sinh \left (\frac {1}{2}+2 x+2 x^2\right )-\frac {1}{8} \int e^{-\frac {1}{8} (-2-4 x)^2} \, dx-\frac {1}{8} \int e^{\frac {1}{8} (2+4 x)^2} \, dx \\ & = \frac {x^2}{4}-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erf}\left (\frac {1+2 x}{\sqrt {2}}\right )-\frac {1}{16} \sqrt {\frac {\pi }{2}} \text {erfi}\left (\frac {1+2 x}{\sqrt {2}}\right )+\frac {1}{8} \sinh \left (\frac {1}{2}+2 x+2 x^2\right ) \\ \end{align*}
Time = 0.15 (sec) , antiderivative size = 88, normalized size of antiderivative = 1.17 \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\frac {8 \sqrt {e} x^2+2 (-1+e) \cosh (2 x (1+x))-\sqrt {2 e \pi } \text {erf}\left (\frac {1+2 x}{\sqrt {2}}\right )-\sqrt {2 e \pi } \text {erfi}\left (\frac {1+2 x}{\sqrt {2}}\right )+2 (1+e) \sinh (2 x (1+x))}{32 \sqrt {e}} \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.17 (sec) , antiderivative size = 75, normalized size of antiderivative = 1.00
method | result | size |
risch | \(\frac {x^{2}}{4}-\frac {{\mathrm e}^{-\frac {\left (1+2 x \right )^{2}}{2}}}{16}-\frac {\sqrt {\pi }\, \sqrt {2}\, \operatorname {erf}\left (\sqrt {2}\, x +\frac {\sqrt {2}}{2}\right )}{32}+\frac {{\mathrm e}^{\frac {\left (1+2 x \right )^{2}}{2}}}{16}+\frac {i \sqrt {\pi }\, \sqrt {2}\, \operatorname {erf}\left (i \sqrt {2}\, x +\frac {i \sqrt {2}}{2}\right )}{32}\) | \(75\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 306 vs. \(2 (57) = 114\).
Time = 0.27 (sec) , antiderivative size = 306, normalized size of antiderivative = 4.08 \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\frac {8 \, x^{2} \cosh \left (x^{2} + x + \frac {1}{4}\right )^{2} + 2 \, \cosh \left (x^{2} + x + \frac {1}{4}\right )^{4} + 8 \, \cosh \left (x^{2} + x + \frac {1}{4}\right ) \sinh \left (x^{2} + x + \frac {1}{4}\right )^{3} + 2 \, \sinh \left (x^{2} + x + \frac {1}{4}\right )^{4} + 4 \, {\left (2 \, x^{2} + 3 \, \cosh \left (x^{2} + x + \frac {1}{4}\right )^{2}\right )} \sinh \left (x^{2} + x + \frac {1}{4}\right )^{2} + 8 \, {\left (2 \, x^{2} \cosh \left (x^{2} + x + \frac {1}{4}\right ) + \cosh \left (x^{2} + x + \frac {1}{4}\right )^{3}\right )} \sinh \left (x^{2} + x + \frac {1}{4}\right ) - \sqrt {\pi } {\left (\sqrt {2} \cosh \left (x^{2} + x + \frac {1}{4}\right )^{2} \operatorname {erf}\left (\frac {1}{2} \, \sqrt {2} {\left (2 \, x + 1\right )}\right ) - \sqrt {-2} \cosh \left (x^{2} + x + \frac {1}{4}\right )^{2} \operatorname {erf}\left (\frac {1}{2} \, \sqrt {-2} {\left (2 \, x + 1\right )}\right ) + {\left (\sqrt {2} \operatorname {erf}\left (\frac {1}{2} \, \sqrt {2} {\left (2 \, x + 1\right )}\right ) - \sqrt {-2} \operatorname {erf}\left (\frac {1}{2} \, \sqrt {-2} {\left (2 \, x + 1\right )}\right )\right )} \sinh \left (x^{2} + x + \frac {1}{4}\right )^{2} + 2 \, {\left (\sqrt {2} \cosh \left (x^{2} + x + \frac {1}{4}\right ) \operatorname {erf}\left (\frac {1}{2} \, \sqrt {2} {\left (2 \, x + 1\right )}\right ) - \sqrt {-2} \cosh \left (x^{2} + x + \frac {1}{4}\right ) \operatorname {erf}\left (\frac {1}{2} \, \sqrt {-2} {\left (2 \, x + 1\right )}\right )\right )} \sinh \left (x^{2} + x + \frac {1}{4}\right )\right )} - 2}{32 \, {\left (\cosh \left (x^{2} + x + \frac {1}{4}\right )^{2} + 2 \, \cosh \left (x^{2} + x + \frac {1}{4}\right ) \sinh \left (x^{2} + x + \frac {1}{4}\right ) + \sinh \left (x^{2} + x + \frac {1}{4}\right )^{2}\right )}} \]
[In]
[Out]
\[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\int x \cosh ^{2}{\left (x^{2} + x + \frac {1}{4} \right )}\, dx \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.32 (sec) , antiderivative size = 121, normalized size of antiderivative = 1.61 \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\frac {1}{4} \, x^{2} - \frac {1}{32} \, \sqrt {2} {\left (\frac {\sqrt {\pi } {\left (2 \, x + 1\right )} {\left (\operatorname {erf}\left (\sqrt {\frac {1}{2}} \sqrt {-{\left (2 \, x + 1\right )}^{2}}\right ) - 1\right )}}{\sqrt {-{\left (2 \, x + 1\right )}^{2}}} - \sqrt {2} e^{\left (\frac {1}{2} \, {\left (2 \, x + 1\right )}^{2}\right )}\right )} - \frac {1}{32} i \, \sqrt {2} {\left (-\frac {i \, \sqrt {\pi } {\left (2 \, x + 1\right )} {\left (\operatorname {erf}\left (\sqrt {\frac {1}{2}} \sqrt {{\left (2 \, x + 1\right )}^{2}}\right ) - 1\right )}}{\sqrt {{\left (2 \, x + 1\right )}^{2}}} - i \, \sqrt {2} e^{\left (-\frac {1}{2} \, {\left (2 \, x + 1\right )}^{2}\right )}\right )} \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.28 (sec) , antiderivative size = 70, normalized size of antiderivative = 0.93 \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\frac {1}{4} \, x^{2} - \frac {1}{32} \, \sqrt {2} \sqrt {\pi } \operatorname {erf}\left (\frac {1}{2} \, \sqrt {2} {\left (2 \, x + 1\right )}\right ) - \frac {1}{32} i \, \sqrt {2} \sqrt {\pi } \operatorname {erf}\left (-\frac {1}{2} i \, \sqrt {2} {\left (2 \, x + 1\right )}\right ) + \frac {1}{16} \, e^{\left (2 \, x^{2} + 2 \, x + \frac {1}{2}\right )} - \frac {1}{16} \, e^{\left (-2 \, x^{2} - 2 \, x - \frac {1}{2}\right )} \]
[In]
[Out]
Timed out. \[ \int x \cosh ^2\left (\frac {1}{4}+x+x^2\right ) \, dx=\int x\,{\mathrm {cosh}\left (x^2+x+\frac {1}{4}\right )}^2 \,d x \]
[In]
[Out]